1. Introduction to metalogic :
پدیدآورنده : by Imre Ruzsa
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : First-order logic
رده :
BC128
.
R9
1997
2. Modal Logic with Descriptions
پدیدآورنده : by Imre Ruzsa.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Philosophy (General)
